Lagrangen indeksilause tai Lagrangen lause on ryhmäteorian perustulos, jonka perusteella äärellisen ryhmän aliryhmän kertaluku jakaa tasan ryhmän kertaluvun. Nimestä huolimatta on hyvin todennäköistä, että sen ensimmäiseksi todisti Évariste Galois.[1]